Nuprl Definition : concat
11,40
postcript
pdf
concat(
ll
) == reduce((
l
,
l'
. append(
l
;
l'
)); [];
ll
)
latex
Definitions
append(
as
;
bs
)
,
reduce(
f
;
k
;
as
)
,
concat(
ll
)
FDL editor aliases
concat
origin
l,l'. append(l; l')); []; ll) l,l'. append(l; l')); []; ll)